منابع مشابه
Possibilistic Information Flow Control
Distributed systems make increasing use of encrypted channels to enable confidential communication. While non-interference provides suitable means to investigate the flow of information within distributed systems, it has proved to be rather difficult to capture the notion of encrypted channels in such a framework. In this paper, we extend the framework MAKS for possibilistic information flow in...
متن کاملNotes on Information Flow Control
The goal of information flow control is to enforce IF policies associated with variables in a program. Assume there is a mapping Γ from variables to labels, which represent desired IF policies. The enforcement mechanism should ensure that a program and the accompanied mapping Γ satisfy noninterference. For these notes, we consider the following definition of noninterference for confidentiality:...
متن کاملInformation Flow Control with Errors
Information Flow Control is concerned with the correct handling of data with respect to a security policy. A common enforcement technique is annotated type systems. For object-oriented languages, type systems have been developed for class-based languages. The reason for this is that in a class-based language, it is simpler to design a type system that ensures well-typed programs do not result i...
متن کاملInformation Flow in Cooperative Control
This project is focused on developing the underlying theory required to achieve integration of information flow into control analysis and design for cooperative tasks of multi-vehicle systems. By making use of tools from control theory, dynamical systems, and graph theory, we are developing a framework for analyzing the effects of information and sensor topology on feedback systems and developi...
متن کاملProgramming With Information Flow-Control
We informally introduce here the information flow-control domain. We then present two theoretical layouts for developping programming language with information flow-control. The approach is semantic-based and allows programs to be statically type-checked. We then consider its practical use, through the so-called Paragon language, extending Java in a user-friendly way. We’ll be especially inters...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2017
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2016.09.005